dynamic assumptions